<?php

if (isset($dokuwiki['user'])){



	$USERINFO['name'] = $dokuwiki['user'];
	$USERINFO['mail'] = $dokuwiki['mail'];
	$USERINFO['grps'] = $dokuwiki['grps'];
	
	$_SESSION[DOKU_COOKIE]['auth']['user'] = $dokuwiki['user'];
	$_SESSION[DOKU_COOKIE]['auth']['mail'] = $dokuwiki['mail'];
	$_SESSION[DOKU_COOKIE]['auth']['pass'] = $dokuwiki['pass'];
	$_SESSION[DOKU_COOKIE]['auth']['info'] = $USERINFO;

}


?>